We propose a new model of computation based on nonstandard analysis.Intuitively, the role of "algorithm" is played by a new notion of finiteprocedure, called Omega-invariance and inspired by physics, from nonstandardanalysis. Moreover, the role of 'proof' is taken up by the Transfer Principlefrom nonstandard analysis. We obtain a number of results in ConstructiveReverse Mathematics to illustrate the tight correspondence to Errett Bishop'sConstructive Analysis and the associated Constructive Reverse Mathematics.
展开▼
